基于生成对抗网络的半监督图像语义分割

提出了一种基于生成对抗网络的语义分割模型,包括一个全卷积语义分割网络以及一个判别网络,其中语义分割网络负责生成与输入图像对应的语义分割图,判别网络负责检测分割图与真实标签的区别,以促使分割网络改进分割效果。为了更好的提取全局结构信息,语义分割网络中采用了金字塔池化模块,对不同规模的空间区域进行池化操作。另外,为了应对语义分割训练数据集人工标注成本过高的问题,利用判别网络生成伪标签协助语义分割网络进行训练,从而实现了半监督训练效果。模型在PASCAL VOC2012数据集中进行了测试,结果表明该模型在全监督和半监督条件下均优于已有方法。     

科技创业孵化载体专业化发展问题与对策研究

进入新发展阶段后,科技创新创业活动对孵化服务提出了更高的要求,科技创业载体需要加快提升专业化、精准化服务能力.文章基于2016-2019年全国科技创业孵化载体发展数据,全面分析专业化科技创业孵化载体建设发展现状,剖析了科技创业孵化载体在专业化建设方面存在的方向不清、动力不足、能力不够、模式不明、机制不畅等问题,从建立评价指标体系、明确建设主体、提升服务能力、加强资源开放和政策供给等方面提出对策建议.     

The Dynamics Characteristics of Flexible Spacecraft and its Closed-Loop Stability with Passive Control

Passive control is the most popular methodology for flexible spacecraft while it remains an open problem whether the closed-loop performance can be achieved only with passive control subject to the coupling modes of rigid and flexibility. Also, the closed-loop performance of passive PD control based on the dynamics of the Euler angle parameterization of spacecraft, which has been widely used in practice, is yet to be addressed. Towards these challenges, by introducing the input-output exact linearization theory and Lyapunov theory, the authors show that the closed-loop performance for flexible spacecraft with rigid and flexible modes can be achieved by adjusting the parameters of the passive controllers sufficiently large. This is done by firstly transforming the flexible spacecraft dynamics into an exact feedback linearization standard form, and then analyzing the closed-loop performance of flexible spacecraft.     

基于知识图谱的核电设备健康管理知识建模与分析

随着信息技术发展,设备健康数据与知识图谱技术结合为设备健康发展带来新的发展机遇,知识图谱利用其多种特异性优势,使企业系统中积累的海量设备维修数据得到有效整合利用.本文提出基于知识图谱的核电设备健康管理知识建模与分析方法,并根据实体关系模型构建维修知识图谱本体框架,同时基于核电企业实际的维修工单数据,从统计分析和关联分析两方面取得良好的实践效果.研究结果表明,知识图谱能够在设备维修知识的集成上解决传统的数据孤岛问题,同时能基于故障的可视化分析为维修人员和管理人员提供决策和知识支持.     

模具结构对连续纤维增强热塑性复合材料性能的影响

采用自行设计的两种不同结构的熔融浸渍模具制备了连续玻璃纤维增强聚丙烯预浸带，测试了模具结构对预浸带的孔隙率、纤维断裂率、界面形貌、纤维分散均匀度和拉伸强度的影响，建立了纤维浸渍模型和纤维断裂模型，并通过理论模型对预浸带的孔隙率和断裂率进行理论预测。结果表明，本文建立的数学模型能够有效预测预浸带的浸渍程度和纤维断裂率，可用于浸渍模具结构的优化设计；在本文范围内，与波浪形模具相比，斜齿形模具的多楔形区结构可以有效地降低预浸带孔隙率和提升纤维分散程度；波浪形模具的流道圆角半径较大，楔形区个数较少，与斜齿形模具相比，可有效降低纤维断裂率并提升拉伸性能。     

根的存在定理的推广及其应用

众所周知，在《数学分析》中会遇到连续函数的一个重要定理，即根的存在定理，此定理对方程根的存在性判别起着重要作用.将这方面已有的定理进行推广，并用例题说明其应用情况.     

海、陆两用风力发电实验平台设计

在风电场通过现场测试分析研究风力机性能由于受到现场环境的限制,能够获得的研究数据有限,室内模拟实验平台能够有效弥补研究不足.为此提出了一种海、陆两用风力发电实验平台方案.该实验平台由来风装置、风轮、发电机、两段式塔架、漂浮台、波浪产生装置、传感检测和数据采集系统等构成.在实验平台整体方案基础上,进行了结构参数设计,建立了漂浮台受力分析模型并获得了合理的结构参数,以Lab VIEW为开发环境设计了上位机运行状态监控系统.最后,基于构建的实验平台,开展了部分风力机动态特性研究工作,对比分析了模拟陆地风力机和海上漂浮式风力机时塔架振动特性,为进一步深入开展风力机动态特性研究提供了基础.     

Optimal investment problem for an insurer and a reinsurer

This paper studies the optimal investment problem for an insurer and a reinsurer. The basic claim process is assumed to follow a Brownian motion with drift and the insurer can purchase proportional reinsurance from the reinsurer. The insurer and the reinsurer are allowed to invest in a risk-free asset and a risky asset. Moreover, the authors consider the correlation between the claim process and the price process of the risky asset. The authors ?rst study the optimization problem of maximizing the expected exponential utility of terminal wealth for the insurer. Then with the optimal reinsurance strategy chosen by the insurer, the authors consider two optimization problems for the reinsurer: The problem of maximizing the expected exponential utility of terminal wealth and the problem of minimizing the ruin probability. By solving the corresponding Hamilton-Jacobi-Bellman equations, the authors derive the optimal reinsurance and investment strategies, explicitly. Finally, the authors illustrate the equality of the reinsurer's optimal investment strategies under the two cases.     

一种三维DNA构象的交互式参数化模拟方法

提出一种适用于移动平台的交互式参数化DNA三维动态模拟方法.依据不同的DNA模式参数,利用基于自然特征的AR识别技术和曲线,直观形象地展示DNA的多种三维构象,动态模拟碱基互补配对、碱基对边堆叠边螺旋、 DNA复制的边解旋边半保留半不连续复制等微观过程.研发DNA三维动态模拟原型系统,实验结果表明,通过视、听、触、实物等多通道交互,有利于用户随时随地自主使用,增强用户对DNA知识的理解、掌握,引导用户进行更深层次的思考,提高知识的传递效率.     

迹为整数的3×3阶正交矩阵的谱

讨论了3×3阶正交矩阵的特征值和迹的关系,证明了迹为整数的3×3阶正交矩阵的谱可由迹确定,为应用广泛的3×3阶正交矩阵的谱的计算提供了简单实用的方法.